API members are annotated using JetBrains ReSharper (http://www.jetbrains.com/resharper/) attributes, such as the most common [CanBeNull] and [NotNull] attributes. ReSharper users benefit from the annotations, as possible improper usages are recognized and highlighted by ReSharper’s code inspection feature.